puedePadecer(P,E) :- pariente(C,Y,P),
padece(Y, E) ,  transmite(C,E) , (ligadaAlSexo(E) -> sexo(P,S),sexo(Y,S) ;true).
